
{-# LANGUAGE TypeOperators #-}

module ORel.SetProp where


infix 7 :=
data Set prop val = prop := val

